theorem :: SCMPDS_5:18

canceled;