theorem Th13: :: SCMFSA10:13

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