theorem :: SCMRING1:15

canceled;