theorem :: SCMPDS_7:6

canceled;