La aplicación dada es inyectiva.