theorem :: SCMPDS_5:1

canceled;