TeX Quellcode:
\begin{array}{rclcl} 1+x^2 &=& 3x+36x\left(x-\dfrac{1}{8}\right)+\dfrac{3}{2}\left(x+\dfrac{2}{3}\right)-35x^2 \cr 1+x^2 &=& 3x+36x^2-\dfrac{9}{2}x+\dfrac{3}{2}x+1-35x^2 \cr 1+x^2 &=& x^2+1 & \vert & -x^2-1 \cr 0 &=& 0 \cr \cr \mathbb{L} &=& \mathbb{R} \end{array}