theorem Th45: :: JORDAN1J:45

for f being FinSequence of (TOP-REAL 2)
for p being Point of (TOP-REAL 2) st p in L~ f holds
(R_Cut (f,p)) /. (len (R_Cut (f,p))) = p