theorem :: SCMRING3:20

for R being Ring
for T being InsType of the InstructionsF of (SCM R) st T = 0 holds
JumpParts T = {0}