(e * x) == x
(i(x) * x) == e
((x * y) * z) == (x * (y * z))
