theorem Th2: :: SCMRING3:2

for R being Ring
for a being Data-Location of R holds a <> IC