theorem :: SCMPDS_3:5

canceled;