a+b=b+a
a+0=a
a-(b+c)=a-b-c
a*b+a*c=a*(b+c)
a*b-a*c=a*(b-c)
a+(-b)=a-b
+a=a
a-0=a
a-a=0
a*b=b*a
1*a=a
(-1)*a=-a
0*a=0
0/b=0
a/1=a
a**0=1
a**1=a