theorem :: SCMPDS_5:11

canceled;