Es evidente que la aplicación anterior está correctamente definida.