f + g = g + f
f + (g + h) = (f + g) + h
f + -f = 0
(a * b) * f = a * bf
a (f + g) = af + ag
(a + b) * f = af + bf