theorem :: SCMRING1:16

canceled;