theorem :: OPENLATT:36

for H being non trivial H_Lattice holds StoneH H preserves_bottom