Un graphe d'intervalles propre est un graphe d'intervalles possédant une représentation d'intervalles dans laquelle aucun intervalle n'est inclus dans l'autre.
Soit un graphe possédant une griffe comme sous-graphe induit. On appelle les quatre sommets de la griffe d'intervalles respectives ,, et tels que le sommet soit celui relié aux trois autres et que .
Comme la griffe est un graphe induit, , et ne sont pas voisins dans . On a donc .
est voisin de et donc et d'où et . On a donc , d'où . n'est donc pas un graphe d'intervalle propre.