theorem Th26: :: GR_CY_2:26

for F being Group
for G being strict Group
for g being Homomorphism of G,F st G is cyclic holds
Image g is cyclic