theorem Th10: :: SCMFSA10:10

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