theorem :: SCMFSA_2:21

for a, b being Int-Location holds InsCode (MultBy (a,b)) = 4