theorem :: SCMRING1:1

canceled;