theorem :: AMISTD_2:3

for N being with_zero set
for T being InsType of the InstructionsF of (STC N) holds JumpParts T = {0}