Exercise 3, § 2

Let $G$ be a connected locally finite graph whose set of vertices is infinite. Prove that there exists a composable sequence $(f_n)_{n\in\mathbf{N}}$ of arrows of $G$ whose origins are pairwise distinct (König's theorem).