theorem Th35:
  BL,StoneBLattice BL are_isomorphic
proof
  ex f being Homomorphism of BL,StoneBLattice BL st
  f=UFilter BL & f is bijective;
  hence thesis by LATTICE4:def 3;
end;
