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