theorem Th39: :: EXCHSORT:39

for A, B being array st A is permutation of B holds
B is permutation of A