Entonces podemos realizar la siguiente sustitución: