König's Theorem