Fuente TeX:

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