theorem :: SCMRING3:4

canceled;