137
правок
Изменения
м
→Критерий Татта
Пусть <tex> U = \{ v \in V: deg_{G'} (v) = n - 1 \}</tex>.
Очевидно, что <tex>\left\vert U \right\vert \ne n</tex>, потому что <tex>\mathbb{G'}</tex> {{---}} не полный граф.
{{Лемма
|statement= <tex>G' \setminus U</tex> {{---}} объединение несвязных полных графов.
