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