命題
A を一般Boole環(>>5)とする。
A の有限生成イデアルは単項イデアルである。

証明
I を A の有限生成イデアルとする。
>>44より A は一般Boole代数(過去スレ021の373)と見なせる。
>>107より I は順序集合としての A のイデアル(過去スレ021の527)である。
よって、>>137より I は単項イデアルである。
証明終