Equation 16.5.33989753C108DD

\begin{equation} \lim _{C\to \infty } \int _ X \Bigl ( \varphi \lor (\phi -C)-\phi \Bigr ) \, \theta _{\varphi \lor (\phi -C)}^ k\wedge \theta _{\psi \lor (\phi -C)}^{n-k}=\int _ X (\varphi -\phi )\, \theta _{\varphi }^ k\wedge \theta _{\psi }^{n-k}. \end{equation}