TeX source:
\Rightarrow x_1=6, x_2=2