Por construcción la función dada cumple: