theorem :: SCMPDS_6:5

canceled;