Proof of Correctness Intuition - Shortest Path — Dijkstra's Algorithm | OneNoughtOne