theorem Th4: :: GR_CY_2:4

for G being Group
for a being Element of G holds gr {a} is cyclic Group