Kőnig's Vertex Cover Theorem