theorem
  (for S being open Subset of NTY holds f"S is open Subset of NTX)
  implies f is continuous by Lm26;
