theorem Th37: :: SPPOL_2:37

for f being FinSequence of (TOP-REAL 2)
for p being Point of (TOP-REAL 2)
for n being Nat st f is unfolded & f is s.n.c. & p in LSeg (f,n) & not p in rng f holds
Ins (f,n,p) is s.n.c.