En el intento de probar que cada árbol, T, tiene más de una perfecta coincidencia, me encontré con esta idea:
Since the matchings are perfect, each vertex has degree 0 or 2 in the symmetric
difference, so every component is an isolated vertex or a cycle.
¿Por qué es esto cierto? ¿Por qué es cierto que a partir de cada vértice es de grado 0 o de grado 2, entonces todos los componentes están aislados o de un ciclo?