theorem :: SCMFSA_2:20

for a, b being Int-Location holds InsCode (SubFrom (a,b)) = 3