272
правки
Изменения
Нет описания правки
<tex>\ d_{n - k} \geq n - k \Leftrightarrow |\{ v \in VG : d_v \geq n - k \}| \geq k + 1. </tex>
|proof=
* "<tex> \Rightarrow </tex>" Пусть <tex> d_{n - k} \geq n - k, \leq d_{n - k} \leq d_{n - k + 1} \leq \ldots \leq d_n, |\{ d_{n - k}, d_{n - k + 1}, \ldots , d_n \}| = k + 1 </tex><br>
<tex> \{ d_{n - k}, d_{n - k + 1}, \ldots , d_n \} \subset \{ v \in VG : d_v \geq n - k \} \Rightarrow \{ v \in VG : d_v \geq n - k \} \geq k + 1 </tex>, q.e.d.
