Exercice 2, Annexe 0

Soient $S$ un ensemble de signes, $A$ un mot significatif de $L_0(S)$, qui se met sous la forme $A'BA''$, où $B$ est significatif. Soit $C$ un mot significatif; alors le mot $A'CA''$ est significatif (utiliser l’exerc. 1).