theorem Th22: :: SCMBSORT:35

for f being FinSeq-Location holds UsedI*Loc (bubble-sort f) = {f}