theorem Th9: :: SCMFSA10:9

JumpPart (halt SCM+FSA) = {} ;