theorem :: COMPOS_1:2

for ins being Element of the InstructionsF of Trivial-COM holds InsCode ins = 0