theorem Th12: :: SCMFSA10:12

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