theorem :: SPRECT_1:89

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