Podemos entonces escribir finalmente que