Thus, each successive vertex on a shortest path between two vertices of Wuv also lies within Wuv, so Wuv contains all shortest paths between its nodes, one of the definitions of convexity.
Таким образом, каждая вершина на кратчайшем пути между двумя вершинами Wuv также лежит в Wuv, так что Wuv содержит все кратчайшие пути между вершинами, что является одним из определений выпуклости.