theorem Th34:
  rng UFilter BL = the carrier of StoneBLattice BL
proof
  thus rng UFilter BL= StoneR BL .= the carrier of StoneBLattice BL by Th33;
end;
