Luego, por el lema anterior, formula_635.