función formula_35 es inyectiva si, sólo