theorem :: SCMPDS_5:36

canceled;