Surgio una duda con unos compañeros de estudia acerca de por que se realizan sustituciones para resolver este tipo de ejercicios cuando se puede aplicar definiciones.
En particular vimos que en el practico de OpenFing usaban este metodo pero no nos quedo muy claro por qué y cómo se utiliza.
Desde ya muchas gracias!