補題
A を一般Boole環(>>5)とする。
a、b ∈ A、D(a) = D(b) とする。
このとき a = b である。

証明
V(a) = V(b) である。
よって、I(V(a)) = I(V(b)) である。
>>419より、aA = bA である。
>>427より、a = b である。
証明終