theorem :: COMPOS_1:6

for T being InsType of the InstructionsF of Trivial-COM holds JumpParts T = {0}