theorem :: SCMFSA_2:58

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