theorem :: SCMPDS_1:1

canceled;