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