theorem :: SCMFSA_2:81

for a, b being Int-Location holds not SubFrom (a,b) is halting ;