Tích phân, VII, p. 88
Cho G là một nhóm địa phương compact, G1,G2,G3 là các nhóm con đóng sao cho G3⊂G1∩G2. Giả sử rằng G,G1,G2,G3 là đơn môđula, và rằng G1/G3 có độ đo toàn phần hữu hạn (đối với mọi độ đo bất biến dưới G1). Gọi λ,μ,ν là các độ đo bất biến trên G/G1,G/G2,G2/G3, và φ là ánh xạ chính tắc của G lên G/G1. Cho f∈K(G/G1). Chứng minh rằng
a∫G/G1f(u)dλ(u)=∫G/G2dμ(x˙)∫G2/G3f(φ(xξ))dν(ξ˙)
(x˙=xG2, ξ˙=ξG3), trong đó a là một hằng số độc lập với f.