demostrado que arista de mayor peso de un AGM de G ≤ de mayor peso que
cualquier grafo generador de G ...

falta ver que pasa cuando se saca esta arista, da lo mismo cualquier
AGM?
Hasta el teorema 1 está bien. Los otros dos lemas, no hay que darle bola
por ahora.
Tal vez el lema 1 lo reescriba con más detalle, pero la idea es esa.
falta demostrar el corolario y ver si es todo coherente