これが成り立っていなかったらその時点で条件不成立である。よって成立しているものとしよう。任意のサイクルは、以上のサイクルの和として書ける。h(v)$」と言い換えられた。問題は、辺の長さを変えるフェーズである。変えるべき辺の候補がわかったとする。使わないため、使ったら定義矛盾)。(直接辺を用いない)道ができる。あとは元のグラフが強連結であるから、除いた拡張グラフの強連結性が従う。このグラフでさっき言った判定法を行う。ダメならどうしようもない。変えるべき辺を間違えているかそもそもできない。長さを変える動作に相当する。長さを変える候補はどのように決めれば良いだろうか。