for H being non trivial H_Lattice holds StoneS H c= bool (F_primeSet H)