已知带权有向图 G 上的所有权值均为正整数，记顶点 u 到顶点 v 的最短路径的权值为d(u, v)。若 v1, v2, v3, v4, v5是图 G 上的顶点，且它们之间两两都存在路径可达，则以下说法正确的有（ ）。
v1 到 v2的最短路径可能包含一个环
d(v1, v2) = d(v2, v1)
d(v1, v3) ≤ d(v1, v2) + d(v2, v3)
如果 v1→v2→v3→v4→v5是 v1 到 v5的一条最短路径，那么 v2→v3→v4是 v2 到 v4的一条最短路径