What's this?となっている…… やりたいことは多分 「最短パスPに関して、最後の辺eを除いたパスP'も最短である」 ってことを示したいんだと思っている(けどこれは正確には正しくなくてk本のパスを使う中で？って感じのことを書かれてた) 示せるには示せるけど…