theorem
  Carrier(L1 - L2) c= Carrier L1 \/ Carrier L2
proof
  Carrier(L1 - L2) c= Carrier L1 \/ Carrier -L2 by Th19;
  hence thesis by Th24;
end;
