y la aplicación formula_24 es la proyección en la primera coordenada.