Podemos por tanto escribir: