theorem :: SCMPDS_7:5

canceled;