I had another proof using group theory. Consider the cyclic subgroups and .
Define by This is well defined for if then
is surjective as Clearly it is also a homomorphism.
Now there are integers such that
Conversely, if then = = = = 1.
Hence the kernel of is and the result follows (note that has elements).