Fuente TeX:

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