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