luego formula_444, así que formula_445 para todo formula_40 de formula_24, luego podemos cambiar formula_40 por formula_93 y así tener que formula_450, luego para todo formula_60 de formula_204 se tiene