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.
Ez az eredmény igazolta Klaus Wagner korábbi sejtését, amit Wagner-sejtésként ismertek; Wagner jóval korábban megsejtette, de csak 1970-ben publikálta.