theorem Th26: :: SPRECT_2:26

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