命題
A を一般Boole環(>>5)とする。
a ≠ 0 を A の任意の非零元とする。
このとき f ∈ X(A)（>>77）で f(a) = 1 となるものがある。

証明
>>84において I = 0 とすればよい。