Si consideri il grafo completo con 6 vertici $K_6$, si consideri una colorazione $c$ dei lati del grafo: $c:E(G)->{rosso,blu}$.
Provare che ogni colorazione $c$ da luogo ad un triangolo di vertici di $K_6$ tale che i 3 lati hanno lo stesso colore.
Equivalentemente: se ad una festa si incontrano 6 persone, provare che in ogni caso 3 sono mutuamente amici, oppure 3 sono completi sconosciuti.
(dove la relazione di amicizia e' ovviamente simmetrica)