theorem Th20: :: AMI_6:20

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