theorem Th24: :: SCMFSA10:24

for T being InsType of the InstructionsF of SCM+FSA st T = 7 holds
dom (product" (JumpParts T)) = {1}