theorem Th46: :: SPRECT_3:46

for f, g being FinSequence of (TOP-REAL 2)
for p being Point of (TOP-REAL 2) st g is_in_the_area_of f & p in L~ g holds
<*p*> is_in_the_area_of f