theorem Th6: :: GR_CY_2:6

for G being finite strict Group
for b being Element of G holds
( ( for a being Element of G ex p being Element of NAT st a = b |^ p ) iff G = gr {b} )