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