命題
>>357と同じ条件と記号を使う。
λ(A) = 1 である。
従って、λ ≠ 0 である。

証明
p_A を X から [0, (A : A)] への射影とする。

Δ = {α ∈ X ; p_A(α) = 1 } とおく。
Δ は X の閉集合である。

U を G の単位元の開近傍とすると、λ_U(A) = 1 だから λ_U ∈ Δ である。
よって、Λ(U) ⊂ Δ である。
Δ は閉だから λ ∈ Λ(U)~ ⊂ Δ
よって、λ(A) = 1 となる。
証明終