補題
X を一般Boole代数(過去スレ021の373)とする。
a, b ∈ X のとき a∨b = (aΔb)Δ(a∧b)
ここで、aΔb は a と b の対称差(>>22)である。

証明
>>37より、
aΔb = (a＼b)∨(b＼a) = (a＼(a∧b))∨(b＼(a∧b))

>>38と>>40より
(aΔb)Δ(a∧b) = (aΔb)∨(a∧b) = (a＼(a∧b))∨(b＼(a∧b))∨(a∧b) = a∨b
証明終