Soit G un graphe non orienté
Une clique de G est un ensemble de sommets connectés 2 à 2 dans G
Une anti-clique est un ensemble de sommets 2 à 2 non connectés dans G

Montrer si il y a un nombre infini de sommets alors G admets une clique infinie ou une anti clique infinie