theorem :: JGRAPH_1:12

for f being FinSequence of (TOP-REAL 2) st f is s.n.c. holds
f is s.c.c.