theorem :: SCMPDS_5:7

canceled;