This result formed a key lemma in their proof, and the full version of Chvátal's lemma follows from their theorem.
Этот результат стал ключевой леммой в их доказательстве, а полная версия леммы Шватала вытекает из их теоремы .