K%c3%b6nigs Lemma

Sorry, we're still building and haven't quite gotten to this subject yet.