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