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