H を局所コンパクト空間 X に右から固有に作用(>>473)する
局所コンパクト群とする。
β を H 上の左Haar測度とする。
x ∈ X に対して、u = xH とおき、β_u を>>677で定義した
X 上の正値Radon測度とする。
λ を X/H 上の正値Radon測度とする。
>>680より、任意の f ∈ K(X, C) に対して
∫ β_u(f) dλ(u) = ∫ f dλ^# である。

よって、>>717より、λ^# = ∫ β_u dλ(u) である。