Application of compactness theorem 「 Theorem An infinite tree with finite branch has an infinite pathApplication of compactness theorem Theorem An infinite tree with finite branch has an infinite path. Yi Li (Fudan University) Discrete Mathematics May 9, 2012 7 / 22