TeX Quellcode:

\begin{array}{rclll} -104 &=& -13x &\vert & :(-13) \cr8 &=& x && \rightarrow \quad P_2(8 \mid -104) \end{array}