theorem Th25: :: GROUPP_1:25

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