theorem
  [#]NT is open & {} NT is open;
