Bài tập 3, § 2

Cho $G$ là một đồ thị liên thông hữu hạn địa phương mà tập hợp các đỉnh của nó là vô hạn. Chứng minh rằng tồn tại một dãy các mũi tên ghép được $(f_n)_{n\in\mathbf{N}}$ của $G$ có các gốc từng đôi một phân biệt (định lý König).