theorem Th58: :: FINSEQ_4:58

for A being set st A is finite holds
ex p being FinSequence st
( rng p = A & p is one-to-one )