theorem Th11: :: AMI_6:11

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