for p being prime Nat
for G being finite strict Group st G is p -group & expon (G,p) = 1 holds
G is cyclic