Sin embargo esto si esta garantizado cuando formula_3 es sobreyectiva, de modo que, en ese caso, el conjunto