Dado un grafo, la suma de los grados de sus vértices es igual a 2 veces el número de sus aristas. Es decir:
Demostración:
Haremos inducción en la cantidad de aristas.
Caso base: El caso base de nuestra demostración es cuando es igual a (también podría haber sido ). En este caso el grafo solo tiene una arista, que notamos como . Entonces y para todo , con . Por lo tanto y , cumpliéndose la propiedad.
Paso inductivo: Para demostrar el paso inductivo, consideremos un grafo con aristas, con .
Nuestra hipótesis inductiva es: en todo grafo con aristas, se cumple que .
Elijamos una arista cualquiera de nuestro grafo , y llamemos al grafo que resulta si se la quitamos, esto es con .
Como la cantidad de aristas de es , cumple la hipótesis de la . Entonces podemos aplicar la sobre :