theorem Th34: :: SCMFSA10:34

for i1 being Nat holds JUMP (goto i1) = {i1}