命題
A を一般Boole環(>>5)とする。
A の任意の極大イデアル P に対して A/P は２元体 {0, 1} である。
よって、P は正則(>>62)である。

証明
>>73より明らかである。