theorem :: SCMPDS_4:7

canceled;