Fuente TeX:

B(x),C(x) \in G : A(x) \cdot B(x) = A(x) \cdot C(x) = 1(x)