1. Prop. of addition
2. Identity of Addition
3. inverse prop of x
4. identity prop of +
5. Commutative prop