theorem Th24: :: GROUPP_1:24

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