Hola muy buenas, tengo una duda con la definicion de si se puede hacer esto:
invertir(yux) = invertir(ux)y
dada la definición de invertir:
1) invertir(
) =
2) invertir(xw) = invertir(w)x
o sea, mi pregunta es... puedo usar esta definicion con ux = w?
Desde ya gracias.
Hola:
Sí, es correcto lo que planteas.
La variable w puede ser instanciada por cualquier tira.
Hola, tengo una duda respecto a esto, esa propiedad que plantea el compañero, ¿porque funciona?, por la definicion de invertir no parece que sea, y en las soluciones aparece que se utiliza una propiedad de 
Saludos
Diego
Hola:
¿a qué parte del ejercicio te estás refiriendo?
La propiedad efectivamente funciona por la definición de invertir. Así está en la solución.
Hablamos de: parte b - paso inductivo, primera igualdad.
Bien, esa es otra igualdad.
Esta igualdad consideramos que es una propiedad conocida de 
y que podemos usarla sin demostración.
Al principio de la solución publicada del ejercicio 14 se explica cuáles propiedades admitimos como válidas.