Изменения

## <tex>d_G(z) < k</tex>. В таком случае, <tex>d_G(z) < k, d_G(y) < k, dist_G(y, z) \geqslant g</tex>, что невозможно, согласно пункту 1. В таком случае:

## <tex>d_G(z) = k \geqslant 3</tex>, следовательно, существует ребро <tex>zu \in E(G)</tex>, через которое проходят не все простые циклы длины <tex>g</tex> графа <tex>G</tex>, тогда <tex>g(G \setminus zu) = g(G) = g</tex>

Пусть <tex>G' = G \setminus zu \cup zx</tex>. Тогда из