theorem Th22: :: SPPOL_2:22

for f being FinSequence of (TOP-REAL 2) holds L~ f = L~ (Rev f)