reserve T for non empty TopSpace,
  X,Z for Subset of T;
reserve x,y for Element of OpenClosedSet(T);
reserve x,y,X for set;
reserve BL for non trivial B_Lattice,
  a,b,c,p,q for Element of BL,
  UF,F,F0,F1,F2 for Filter of BL;

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;
