theorem :: SCMPDS_5:9

canceled;