theorem :: BOOLEALG:57

for L being B_Lattice
for X being Element of L holds X \+\ X = Bottom L by LATTICES:20;