Suppose where both and has order 2. Prove that is isomorphic to for some integer .
Note that since . Since is finite, has a finite order, say , so that . We also have .
We claim that there are no other relations, other than .
Suppose to the contrary . Then , i.e. , a contradiction. Similarly if , implies , a contradiction. Inductively, and for any .