theorem Th24: :: SPRECT_2:24

for f, g, h being FinSequence of (TOP-REAL 2) st g is_in_the_area_of f & h is_in_the_area_of f holds
g ^ h is_in_the_area_of f