TeX Quellcode:
\begin{array}{rclll} 20{,}45 &=& \dfrac{1}{20}x+20 &\vert & -20 \cr0{,}45 &=& \dfrac{1}{20}x &\vert & \cdot 20 \cr9 &=& x && \rightarrow \quad P_2(9 \mid 20{,}45) \end{array}