Demonstrando a otimalidade do algoritmo de Dijkstra

Demonstramos a otimalidade do algoritmo de Dijkstra através da prova de corretude do algoritmo. Em termos práticos, isso significa que esse algoritmo sempre retorna a árvore de caminhos mínimos, dado que as arestas são ponderadas por pesos positivos.