theorem Th30: :: LATTICE4:30

for BL being Boolean Lattice holds (Bottom BL) ` = Top BL