>>765
そういうことだけど要するに>>726の通りだは('ω'`)
線分の長さは距離すなわち最短経路の長さに等しい、線分の長さが最短であるから弧を含む他の経路は必ずr≦n('ω'`)