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