theorem :: SCMPDS_5:10

canceled;