theorem :: SCMRING3:9

for R being Ring
for r being Element of R
for a being Data-Location of R holds InsCode (a := r) = 5 ;