theorem Th50: :: SCMFSA_2:57

for dl being FinSeq-Location holds dl <> IC