theorem Th21: :: SPRECT_2:21

for f being non trivial FinSequence of (TOP-REAL 2) holds f is_in_the_area_of f