König's theorem