theorem
  A is closed iff Cl A = A by Lm20,Lm22;
