por lo que formula_207, lo que, en vista del teorema anterior, demuestra que formula_208.