add proofs for commutativity and associativity of addition. (relates to 217 pset!) why does the S (n + m) = n + (S m) structure come up twice? also should rewrite on paper