| A | B |
| a+0=a | Identity Prop. Addition |
| a*1=a | Identity Prop. of Multiplication |
| a+b=b+a | Commutative Prop. of Addition |
| a*b=b*a | Commutative Prop of Multiplication |
| a+(b+c)=(a+b)+c | Associative Prop of Addition |
| a*(b*c)=(a*b)*c | Associative Prop of Multiplication |
| a*0=0 | Multiplicative Prop of Zero |
| a*(-1)=(-a) | Multiplicative Prop of Negative One |
| a+(-a)=0 | Additive Inverse Property |
| a(b+c)=ab+ac | Distributive Property |