theorem Th14:
  the carrier of L is Filter of L
proof
   the carrier of L =[#]L;
  hence thesis;
end;
