So, I've been going through Spivak's Calculus, section I, and I'm having some trouble proving 1.1.iii. Also, I'd like to check 1.1.ii and ensure that I did 1.1.i right. So, first, I'm restricted to these nine properties:
a+(b+c)=(a+b)+c <P1, addition associative>
a+0=0+a=a <P2, additive...