theorem :: SCMBSORT:17

canceled;