theorem :: SCMFSA7B:11

for a being Int-Location
for l being Nat holds not goto l destroys a ;