theorem
  A = [#]NT \ B implies (A is open iff B is closed);
