theorem :: SCMRING3:7

for R being Ring
for a, b being Data-Location of R holds InsCode (SubFrom (a,b)) = 3 ;