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