Notemos que, por ser formula_3 una sobreyección, formula_24 tiene por lo menos un antecedente en formula_1.