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