theorem :: SCMPDS_6:1

canceled;