theorem Th79: :: EXCHSORT:79

for X being set
for A being finite 0 -based array of X st A <> {} holds
last A in X