theorem :: SCMFSA_2:79

for a, b being Int-Location holds not a := b is halting ;