theorem :: SCMFSA_2:22

for a, b being Int-Location holds InsCode (Divide (a,b)) = 5