Let be a graph, and and two vertices of . There is a path from to in if and only if there is a simple path from to in
Proof
Let and be vertices of a graph
A simple path from to in is a path from to , so the result trivially holds
Let be a path from to . If has no repeated vertices, then is a simple path and we are done. So assume that has a repeated vertex . Let be the path obtained by going along from to the first appearance of , and then going along from the last appearance of to . So is a path from to whose length is smaller than the length of . If has no repeated vertices, then we are done. Otherwise, repeat this procedure. By repeating this procedure until there are no more repeated vertices, we end up with a simple path from to