theorem :: SCMFSA8C:49

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