= Доказательство =
Если Пусть дан граф <tex>G</tex>. Запустим <tex>dfs(G)</tex>. Рассмотрим выполнение процедуры поиска в глубину от некоторой вершины <tex> v. Так как все серые вершины лежат в стеке рекурсии, то для них вершина окрашена <tex> v достижима по белым путям. Тогда если из рассматриваемой вершины <tex> v существует ребро в серый цветсерую вершину <tex> u, то это значит, что от нее был запущен поиск в глубинуиз вершины <tex> v. Если
= Реализация =
