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