information about König's lemma field