theorem :: SCMPDS_8:2

canceled;