theorem :: SCMPDS_4:19

canceled;