theorem Th88: :: SPRECT_1:88

for f being rectangular FinSequence of (TOP-REAL 2) holds LeftComp f misses RightComp f