theorem Th38: :: EXCHSORT:38

for A being array holds A is permutation of A