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.