theorem Th47: :: SCMFSA8C:56

for a being Int-Location holds not Stop SCM+FSA destroys a