theorem Th16: :: AMI_6:16

for k being Nat holds JUMP (SCM-goto k) = {k}