(b)のyとxについては(a)のwとvと同じかと。最短経路上にあると仮定してるから＜はありえない。
これに別途証明を与える必要があるかどうかは別として。