TeX Quellcode:
\begin{array}{rclll} f(9) &=& -\sqrt{9^3+28}+7 &=& -\sqrt{757}+7 \quad \rightarrow \quad P_1(9 \mid -\sqrt{757}+7) \end{array}