Entonces podemos escribir