TeX source:
\begin{array}{rclll} -13 &=& -13 \cdot e^{22x} &\vert & : \left(-13\right)\cr 1 &=& e^{22x} &\vert & \ln()\cr 0 &=& 22x &\vert & : 22\cr x &=& 0 \in\mathbb{D} & & \rightarrow \quad P_2\left(0 \mid -13\right) \end{array}