Equation 16.5.35F913F2DBE96C

\begin{equation} \begin{split} \lim _{C\to \infty } C\int _{\{ \varphi \leq \phi -C\} } \theta _{\varphi \lor (\phi -C)}^ k\wedge \theta _{\psi \lor (\phi -C)}^{n-k}=& 0,\\ \lim _{C\to \infty } C\int _{\{ \psi \leq \phi -C\} } \theta _{\varphi \lor (\phi -C)}^ k\wedge \theta _{\psi \lor (\phi -C)}^{n-k}=& 0. \end{split} \end{equation}