theorem Th30: :: OPENLATT:30

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