theorem :: GR_CY_2:16

for Gc being strict cyclic Group st Gc is infinite holds
INT.Group ,Gc are_isomorphic