Lemma 3.29 (Kőnig’s Lemma). κcf⁡κ>κ.