theorem :: OPENLATT:34

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