theorem Th11: :: SCMFSA10:11

for a, b being Int-Location holds JumpPart (AddTo (a,b)) = {}