theorem Th1: :: SCMRING3:1

for R being Ring
for a being Data-Location of R holds Values a = the carrier of R