theorem :: SCMISORT:20

canceled;