theorem :: SCMPDS_8:4

canceled;