theorem
  P is closed & Q is closed implies P \/ Q is closed;
