theorem Th22: :: SCMISORT:29

for f being FinSeq-Location holds card (insert-sort f) = 71