theorem :: SCMFSA10:17

for T being InsType of the InstructionsF of SCM+FSA st T = 0 holds
JumpParts T = {0}