theorem Th66:
  a in A & b in B implies a-b in A--B
proof
  A--B = {c1-c2: c1 in A & c2 in B} by Th65;
  hence thesis;
end;
