theorem Th18: :: AMI_6:18

for a being Data-Location
for k being Nat holds JUMP (a =0_goto k) = {k}