theorem :: SCMRING1:14

canceled;