theorem :: SCMISORT:36

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