König's Cofinality Theorem