theorem :: SCMPDS_6:9

canceled;