theorem Th14: :: JGRAPH_1:14

for f being FinSequence of (TOP-REAL 2) st f is nodic & PairF f is Simple holds
f is s.c.c.