theorem :: SCMPDS_5:3

canceled;