theorem Th10: :: JORDAN23:10

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