theorem Th44: :: COMPOS_1:60

for S being COM-Struct
for x being set
for i being Instruction of S holds
( x in dom (Macro i) iff ( x = 0 or x = 1 ) )