Докажите корректность алгоритма Прима построения минимального остовного дерева взвешенного связного неориентированного графа.