Esta condición no es condición suficiente para garantizar la inyectividad de la función (de hecho tampoco es condición necesaria).