Is it true that for every finite cyclic group <G,*> with generator a each of the unique elements of the group may be presented as where n is non-negative integer.

My proof: If G is finite, there is some positive integer m for which . Then , etc...

Moreover . Then . Therefore .

If for some n<m then too.

This must cover all inverses of the elements from to .