theorem :: SCMPDS_2:85

canceled;