Infinite Cyclic Group is Isomorphic to Integers/Corollary