доказана венгерскими математиками Палом Эрдёшем и Тибором Галлаи (венг. GallaiTibor) в 1960 году. Для формулировки утверждения вводятся следующие определения:
году в Венгерской академии наук, под руководством Тибора Галлаи (венг. GallaiTibor). В течение 1990-х работал в должности профессора в Йельском университете