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.
Αυτό το αποτέλεσμα αποτέλεσε απόδειξη μιας παλαιότερης εικασίας γνωστή ως εικασία του Βάγκνερ, εκ του Klaus Wagner: Ο Wagner την είχε διατυπώσει καιρό νωρίτερα, αλλά η εικασία δημοσιεύτηκε το 1970.