Si formula_6 y formula_7 son palabras del grupo libre formula_5, entonces la relación formula_9 puede representarse por formula_10, y convenir en que el lado derecho siempre es formula_11 nos permite fijarnos sólo en la palabra formula_12.