命題
K を可換とは限らない体とし、| | を K の自明でない絶対値
(過去スレ006の414, 422)とする。
E を K 上の左加群とする。

A を E の平衡的(過去スレ006の630)な部分集合とする。
任意の x ∈ E に対して x ∈ λA となる λ ∈ K が存在するなら
A は吸収的(過去スレ006の628)である。

証明
任意の x ∈ E に対して x ∈ λA となる λ ∈ K, λ ≠ 0 が
存在するとする。

A は平衡的だから 0 ∈ A である。
x = 0 なら λ = 1 としてよい。
x ≠ 0 なら λ ≠ 0 である。
いずれの場合も |λ| ＞ 0 である。

|μ| ≧ |λ| なら |μ^(-1)λ| ≦ 1 である。
A は平衡的だから (μ^(-1)λ)A ⊂ A
よって、λA ⊂ μA
よって、x ∈ μA
即ち、A は平衡的である。
証明終