Si, en particular, la función formula_3 es inyectiva, entonces