theorem Th12: :: JGRAPH_4:12

for n being Nat holds n NormF is continuous