607
608
609
610
611
612
613
614
615
616
617
Till now we have got a shortest route between the existing points. But to prove it is the shortest route indeed we check for all points a + b -c again if there is any point not joined to the nearest branch it will come to our notice.
So the last check infect establishes that no other subsequent alterations to the position of the points on the network may yield another shorter route than the existing one.
618
619