theorem :: SCMFSA_2:99

for i, j being Nat holds fsloc i <> intloc j