theorem :: SCMRING3:3

for R being Ring
for o being Object of (SCM R) holds
( o = IC or o is Data-Location of R )