theorem :: SCMBSORT:24

canceled;