Si, en particular, la función formula_3 es sobreyectiva, tenemos