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