theorem Th40: :: COMPOS_1:56

for S being COM-Struct
for i being Instruction of S holds card (Macro i) = 2