start on proof of commutativity of addition. not much time today