theorem Th23: :: SCMBSORT:38

for f being FinSeq-Location holds card (bubble-sort f) = 53