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