English: The proof of correctness of the algorithm is guaranteed by the claim which is, for every vertex v when it is removed from the priority queue, the value dist[v] is the distance from s to v in the graph.
Telugu: అల్గారిథమ్ యొక్క ఖచ్చితత్వం యొక్క రుజువు క్లెయిమ్ ద్వారా హామీ ఇవ్వబడుతుంది, ఇది ప్రతి వర్టెక్స్ v కోసం ప్రాధాన్యత క్యూ నుండి తీసివేయబడినప్పుడు, విలువ డిస్ట్[v] అనేది గ్రాఫ్‌లోని s నుండి v వరకు ఉన్న దూరం.