Изменения
Нет описания правки
{{Утверждение
|statement=
Если вершина была достижима по белому пути в первый момент времени, то она стала черной ко второму моменту времени;.
|proof =
Если вершина <tex>v</tex> была достижима по белому пути из <tex>u</tex>, но осталась белой, это значит, что во второй момент времени на пути из <tex>u</tex> в <tex>v</tex> встретится ребро из черной вершины в белую, чего не может быть по лемме, доказанной выше.