命題
A を一般Boole環(>>5)とする。
A の任意のイデアル I に対して A/I は一般Boole環である。

証明
自明である。