theorem Th34:
  the carrier of BL is Field of BL
proof
  the carrier of BL c= the carrier of BL;
  then reconsider F=the carrier of BL as non empty Subset of BL;
  a in F & b in F implies a "/\" b in F & a` in F;
  hence thesis by Def9;
end;
