命題
A を一般Boole環(>>5)とする。
A の任意の部分環は一般Boole環である。

証明
自明である。