text: Как заметил Сбихи, если I {\displaystyle I} — независимое множество в графе без клешней, то любая вершина графа может иметь максимум две соседние вершины из I {\displaystyle I} — три соседние вершины образовали бы клешню.