luego formula_29, así que formula_30 para todo formula_13 de formula_1, luego podemos cambiar formula_13 por formula_34 y así tener que formula_35, luego para todo formula_36 de formula_37 se tiene