finally prove commutativity of multiplication! it's induction almost all of the way down. is there a better way than the one they led us to? TODO: check answers