English: Let us start off with the base case, the claim indeed is true for s which is the first vertex to be removed from the priority queue, because the distance from s to itself is 0.
Telugu: బేస్ కేస్‌తో ప్రారంభిద్దాం, ప్రియరిటి క్యూ నుండి తీసివేయబడిన మొదటి శీర్షమైన sకి దావా నిజం, ఎందుకంటే s నుండి దానికే దూరం 0. క్యూ నుండి తీసివేయవలసిన వర్టెక్స్ యొక్క సూచికపై ఇండక్షన్ ద్వారా మా క్లెయిమ్‌ను నిరూపించడం మాకు తెలుసు.