theorem :: SCMPDS_2:3

canceled;