En efecto, pues formula_21 se toma como la proyección canónica formula_34, vemos que si formula_35 entonces formula_36, y así la palabra formula_6, al ser interpretada como producto en formula_27, es igual al elemento neutro de formula_27 y formula_6 se satisface en formula_27 para toda formula_35.