Klaus Wagner proved in 1937 that the case k = 5 is actually equivalent to the four color theorem and therefore we now know it to be true.
Klaus Wagner 1937-ben bebizonyította, hogy a k = 5 eset valójában ekvivalens a négyszíntétellel, ezért most már biztosan tudjuk, hogy igaz.