theorem
  B = [#] NT \ A implies [#] NT \ Cl A = Int B by Lm14;
