theorem Th8: :: JORDAN23:8

for f being FinSequence st f is almost-one-to-one holds
Rev f is almost-one-to-one