theorem :: SCMRING4:2

for R being non trivial Ring
for dl being Data-Location of R ex i being Nat st dl = dl. (R,i)