Let be a group. Prove that for all and .
For , note that for all we have .
Now for we proceed by induction on .
For the base case, note that for all we have since .
For the inductive step, suppose that for some , for all we have . Then given some , we have
using associativity and the base case where necessary.
Thus by induction, for all and .