theorem Th75: :: EXCHSORT:75

for a being Ordinal
for O being non empty connected Poset
for R being array of O holds {[a,R]} is arr_computation of R