TeX Quellcode:
\begin{array}{rclll}-27 &=&\dfrac{2}{3} \log_2 \left(\dfrac{2}{x}\right)+1 &\vert &-1\cr -28 &=&\dfrac{2}{3} \log_2 \left(\dfrac{2}{x}\right) &\vert & : \dfrac{2}{3}\cr -42 &=& \log_2 \left(\dfrac{2}{x}\right) &\vert& \text{2. Logarithmengesetz}\cr -42 &=& \log_2(2) - \log_2(x)\cr -42 &=& 1-\log_2(x) &\vert &-1\cr -43 &=& -\log_2(x) &\vert &\cdot (-1)\cr 43 &=& \log_2(x) &\vert &2^{*}\cr x &=& 2^{43} = 8.796.093.022.208 \;\in\;\mathbb{D} & & \rightarrow \quad P_2 \left( 2^{43} \mid -27 \right)\end{array}