theorem :: SCMFSA_2:59

for il being Nat
for dl being Int-Location holds il <> dl