theorem :: SCMPDS_1:2

canceled;