13.12 다익스트라 알고리즘의 정확성 증명 과정