theorem :: SCMFSA_2:60

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