theorem Th4: :: COMPOS_1:5

for I being Instruction of Trivial-COM holds JumpPart I = 0