theorem :: SCMRING1:18

canceled;