Proof.: Let \(e_{0j_{1}},e_{j_{1}j_{2}},\ldots,e_{j_{m-1}i}\) be the edges of the minimum distance path from \(0\) to \(i\) in \(G\).
증명: \(G\)에서 \(0\)에서 \(i\)까지의 최소 거리 경로의 간선을 \(e_{0j_{1}},e_{j_{1}j_{2}},\ldots,e_{j_{m-1}i}\)라고 하자.
증명.: e_{0j_{1}},e_{j_{1}j_{2}},\ldots,e_{j_{m-1}i}\)를 \(G\)에서 \(0\)에서 \(i\)까지의 최소 거리 경로의 가장자리라고 합니다.