theorem :: EXCHSORT:22

for A being array holds dom A = (limit- A) \ (base- A)