theorem :: SCMBSORT:18

canceled;