theorem :: GR_CY_2:27

for G, F being strict Group st G,F are_isomorphic & G is cyclic holds
F is cyclic