theorem Th37: :: JORDAN1J:37

for f being S-Sequence_in_R2
for p being Point of (TOP-REAL 2) st p in rng f holds
L_Cut (f,p) = mid (f,(p .. f),(len f))