命題(Weilの公式)
G を局所コンパクト群、H をその閉正規部分群とする。
G, H, G/H の左Haar測度 μ, β, λ を
任意の f ∈ K(G, C) に対して

∫ f(x) dμ(x) = ∫dλ∫ f(xξ) dβ(ξ)

となるように選べる。

ここで、∫ f(xξ) dβ(ξ) は G/H 上の関数と見なしている。

証明
H, G/H の左Haar測度をそれぞれ β, λ とする。
>>559で χ = 1 の場合から、λ = μ/β (>>554) となるように、
G の左Haar測度 μ を選べる。
証明終