This result proved a conjecture formerly known as Wagner's conjecture, after Klaus Wagner; Wagner had conjectured it long earlier, but only published it in 1970.
Цей результат довів гіпотезу, раніше відому як гіпотеза Вагнера, за Клаусом Вагнером; Вагнер припускав її задовго раніше, але опублікував тільки в 1970 році.