theorem Th29: :: OPENLATT:29

for H being non trivial H_Lattice holds (StoneH H) . (Bottom H) = {}