theorem Th35: :: SPPOL_2:35

for f being FinSequence of (TOP-REAL 2) st f is s.n.c. holds
Rev f is s.n.c.