$G$ bagli, yerel sonlu, sonsuz bir cizge olsun.
Yani $G$ nin
- Her iki kosesi sonlu bir yol ile baglanabilir
- Her kosesinin sonlu sayida komsusu vardir
- sonsuz sayida kosesi vardir
O zaman, $G$ nin bir isini vardir. Yani
$G$ de bir koseden baslayan ve hicbir kosenin tekrar etmedigi sonsuza uzanan bir yol vardir.