for H being non trivial H_Lattice holds StoneH H preserves_implication by Th33;