In the relation , take the inverse of both sides, to get . It follows that . By the same calculation, , and so on. In fact, is equal to ifkis odd, and ifkis even.

Now takekto be the order ofa, which is odd. Then (the identity element of the group), and . But sincekis odd, this is also equal to . So and therefore .