theorem Th48: :: SCMFSA8C:57

for a being Int-Location
for l being Nat holds not Goto l destroys a