theorem :: SCMPDS_6:3

canceled;