theorem :: SCMPDS_5:5

canceled;