theorem Th42: :: SPRECT_3:42

for f being FinSequence of (TOP-REAL 2)
for p, q being Point of (TOP-REAL 2) holds
( <*p,q*> is_in_the_area_of f iff ( <*p*> is_in_the_area_of f & <*q*> is_in_the_area_of f ) )