La prueba de 1 viene directamente del lema con formula_135 y formula_136.