for n being Nat holds n NormF is continuous