theorem :: SCMPDS_6:2

canceled;