La coclase izquierda que no es igual a formula_6 es, por lo tanto, igual al complemento de formula_6.