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

