theorem Th15: :: GR_CY_2:15

for Gc being finite strict cyclic Group holds INT.Group (card Gc),Gc are_isomorphic