theorem :: SCMPDS_6:14

canceled;