theorem
  NT --> y is continuous by Lm3;
