theorem :: SCMPDS_6:8

canceled;