Fuente TeX:

B(x) \cdot (A(x) \cdot B(x)) = B(x) \cdot (A(x) \cdot C(x)) = B(x) \cdot 1(x)