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