Soient G un groupe localement compact, G1,G2,G3 des sous-groupes fermés tels que G3⊂G1∩G2. On suppose G,G1,G2,G3 unimodulaires, et G1/G3 de mesure totale finie (pour toute mesure invariante par G1). Soient λ,μ,ν des mesures invariantes dans G/G1,G/G2,G2/G3, et φ l’application canonique de G sur G/G1. Soit f∈K(G/G1). Montrer que
a∫G/G1f(u)dλ(u)=∫G/G2dμ(x˙)∫G2/G3f(φ(xξ))dν(ξ)
(x˙=xG2,ξ˙=ξG3), où a est une constante indépendante de f.