theorem Th27: :: SPRECT_2:27

for f being non trivial FinSequence of (TOP-REAL 2) holds <*(SE-corner (L~ f))*> is_in_the_area_of f