theorem Th33: :: LOPCLSET:33

for BL being non trivial B_Lattice holds StoneR BL = OpenClosedSet (StoneSpace BL)