theorem :: SCMRING1:13

canceled;