TeX-källa:
(132) (x_2 + x_1 x_3 ) = x_1 + x_2 x_3