theorem :: SCMISORT:10

canceled;