theorem :: SCMPDS_2:4

canceled;