theorem :: SCMPDS_5:2

canceled;