theorem Th47: :: EXCHSORT:47

for O being non empty connected Poset
for R being array of O holds inversions R c= [:(dom R),(dom R):]