 Primitive three-cycle criterion

Conjugate the three-cycle throughout the group. Connected components of the support hypergraph form an invariant block system. Primitivity makes it connected, and connected triple supports generate an alternating group gives the conclusion.