theorem :: SCMPDS_5:4

canceled;