text: Для доказательства теоремы Кёнига из теоремы Дилуорса для двудольного графа G = (U,V,E) образуем частичный порядок на вершинах графа G, полагая u < v в точности, когда u содержится в U, v содержится V и существует ребро из E из u в v. По теореме Дилуорса существует антицепь A и разложение на цепи P, оба множества одного размера.