Problem 1. Show that for all .
Proof. Let , and write and for . We then find that where the third line follows from the fact that addition in is commutative.
Problem 2. Show that for all .
Solution. Let , and write , , and for . One then finds that where the fourth equality follows from associativity of addition in .