Redirecting to König's theorem (set theory)