theorem Th48: :: EXCHSORT:48

for O being non empty connected Poset
for R being array of O holds
( R is ascending iff inversions R = {} )