TeX source:
\begin{array}{rcl}0 &=& 3\cdot 3^3-10\cdot 3^2+7\cdot 3-12 \\ 0 &=& 0 \\& \rightarrow & P_2(3 \mid -14)\end{array}