theorem :: SCMRING1:17

canceled;