補題
>>511の条件の下で、f ∈ K(X, R) かつ f^1 = 0 であれば
μ(f) = 0 である。

証明
>>511より、μ(fg^1) = 0 である。

Supp(f) = K とおく。
p(K) は X/H のコンパクト集合であるから
p(K) で 1 となる K(X/H, R) の元 h がある。
hp は K^1(X, R) の元であり、KH 上で 1 となる。
>>500より g^1 = hp となる g ∈ K(X, R) がある。
g^1 は K 上で 1 であるから μ(fg^1) = μ(f) = 0 である。
証明終