theorem Th38: :: SCMFSA_2:45

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