theorem :: SCMPDS_5:8

canceled;