TheoremFor all u,v,x∈V,we have δ(u,v)≤δ(u,x)+δ(x,v)\text{For all } u, v, x \in V , \text{we have } \newline \delta(u, v) \le \delta(u,x)+ \delta(x,v)For all u,v,x∈V,we have δ(u,v)≤δ(u,x)+δ(x,v)항상 성립하는 게 아니라 거쳐가는 게 직접적인 경로보다 길다면, 그 경로는 최단 경로가 될 수 없기 때문에 최단경로 찾을 때 고려하지 않는다는 말.
