Question 280805
commutative prop for addition.
When adding terms, the order doesn't matter