reserve a for Real;
reserve p,q for Point of TOP-REAL 2;

theorem Th12:
  for n being Nat holds n NormF is continuous
proof
  let n be Nat;
  for q being Point of TOP-REAL n holds (n NormF).q=|.q.| by Def1;
  hence thesis by JORDAN2C:83;
end;
