命題
X を分配束(過去スレ021の322)とする。
I を X のイデアルで a ∈ X - I とする。
このとき I を含む X の素イデアル P で a ∈ X - P となるものがある。

証明
a∧a = a であるから S = {a} は X の下向きの有向部分集合(過去スレ021の510)である。
よって本命題は>>195から得られる。
証明終