3枚目の画像で、

「d(x) = d(y) + l(y, x) となっているはずである。」

と書かれていますが、その後、このことは証明中で使われていないように見えます。

これは何なんでしょうか？