theorem :: SCMPDS_2:1

canceled;