theorem :: SCMPDS_2:81

canceled;