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