theorem Th28: :: OPENLATT:28

for H being non trivial H_Lattice holds (StoneH H) . (Top H) = F_primeSet H