theorem Th44: :: SPRECT_3:44

for f being FinSequence of (TOP-REAL 2)
for p, q being Point of (TOP-REAL 2)
for r being Real st 0 <= r & r <= 1 & <*p,q*> is_in_the_area_of f holds
<*(((1 - r) * p) + (r * q))*> is_in_the_area_of f