Si, en particular, formula_3 es sobreyectiva, entonces