theorem Th39: :: SCMFSA_2:46

for s being State of SCM+FSA holds FinSeq-Locations c= dom s