À l’aide d’une partition de l’unité et en revenant à la définition des intégrales, ces formules se déduisent des formules analogues pour les polytopes calibrés. L’hypothèse que le support de $\omega$ est compact, ou que l’intersection des supports de $\alpha$ et $\beta$ l’est, rend toutes les familles d’intégrales presque nulles, de sorte que les questions de sommabilité deviennent triviales. ∎