Proposição
Se dois vértices v1, v2
estão conectados em G então existe uma cadeia elementar em G
com extremidades v1 e v2 .
Prova
Seja C(v1,v2) o conjunto de todas as cadeias em G
que conectam os vértices v1 e v2 .
Qualquer cadeia c em C(v1,v2),
que não seja elementar, contem pelo menos um ciclo.
Removendo esse ciclo
obtemos uma cadeia c1 em C(v1,v2)
de comprimento menor.
Logo
toda a cadeia c em C(v1,v2)
com comprimento mínimo é uma cadeia elementar.