theorem :: SCMISORT:5

canceled;