Equation 16.5.329D55DDF004D1

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