Consultas generales

Cuando se quiere demostrar que si un grafo o multigrafo sin vertices aislados tiene un circuito euleriano entonces es conexo y todos sus vertices tienen grado par, en su demostracion se utiliza el teorema 11.1. Mi consulta es si es necesario demostrar el teorema 11.1 o vale solamente citarlo. Gracias