命題
G を局所コンパクト群とする。
G の容量(過去スレ007の723) λ で 0 でなく X の任意のコンパクト集合 K
と任意の x ∈ G に対して λ(xK) = λ(K) となるものが存在する。

証明
>>357, >>358, >>359, >>360, >>361, >>373 より明らかである。