theorem Th14: :: SCMFSA10:14

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