Изменения

1) :Просматриваем все вершины <tex>v</tex> первой доли графа <tex>u \in V_1</tex>. Что это?

2) Вынести доказательство корректности в теорему. Нормально доказать.

В целом, тут нужны некоторые небольшие изменения, что бы сделать его более понятным.