Добавени доказателства за коректност на Дейкста и Белман-Форд.