theorem Th82: :: EXCHSORT:82

for A being array
for B being permutation of A holds B in Funcs ((dom A),(rng A))