theorem :: SCMFSA7B:5

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