theorem :: SCMFSA_2:83

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