theorem :: SCMPDS_6:10

canceled;