theorem Th30: :: LOPCLSET:30

for BL being non trivial B_Lattice holds (UFilter BL) . (Bottom BL) = {}