theorem Th25: :: SCMRING3:26

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