theorem Th29: :: LATTICE4:29

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