1. Num grafo simples com pelo menos 2 vértices há 2 vértices com o mesmo grau

3. Num grafo simples com ≥2 vértices há 2 vértices com o mesmo grau.
...

Prova por absurdo
...

Num grafo de ordem qualquer vértice pode ligar no máximo a todos os outros vértices pelo que o seu grau é:
Vamos assumir por absurdo que não há 2 vértices com o mesmo grau (todos os vértices têm grau diferente). A sequência de graus do grafo seria:
éMas a sequência em questão não é gráfica pois se o 1º vértice tem grau , está ligado a todos os outros, logo o último vértice não pode ter grau (estar isolado).

Logo não existe grafo com todos os vértices de grau diferente.

Logo há pelo menos 2 vértices com o mesmo grau.