La prueba del teorema 5.3.32 está aquí:

Problemas resueltos de grafo - Teorema 5.3.32