theorem :: SCMBSORT:45

Bubble-Sort-Algorithm , Initialize ((intloc 0) .--> 1) computes Sorting-Function