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.
Ezért a Wuv két csúcsa közötti legrövidebb úton minden egymást követő csúcs is Wuv-beli, ezért Wuv-nek tartalmaznia kell a csúcsok közötti összes legrövidebb utat, ami éppen a konvexitás egyik definíciója.