Un grafo dirigido (cualesquiera dos vértices distintos unidos por como máximo una línea dirigida) tiene la siguiente propiedad: Si $x, u,$ y $v$ son tres vértices distintos tales que $x \to u$ y $x \to v$ , entonces $u \to w$ y $v \to w$ para algún vértice $w$ . Suponga que $x \to u \to y \to\cdots \to z$ es un camino de longitud $n$ , que no puede extenderse a la derecha (ninguna flecha sale de $z$ ). Demuestre que todo camino que comienza en $x$ llega después de $n$ pasos a $z.$