命題
X を分配束(過去スレ021の322)とする。
p を X の元とする。

p が∨素元(>>157) ⇔ p が∨既約元(過去スレ021の403)

証明
>>160より、p が∨素元なら p は∨既約元である。
p が∨既約元なら過去スレ021の413より、p は∨素元である。
証明終