theorem :: SCMFSA_2:102

for l being Nat
for a being Int-Location holds not a in dom (Start-At (l,SCM+FSA))