theorem :: BOOLEALG:56

for L being B_Lattice
for X being Element of L holds X \+\ (Bottom L) = X by Th47;