theorem Th6: :: COMPOS_1:8

for S being COM-Struct
for F being MacroInstruction of S st card F = 1 holds
F = Stop S