In 2009, Dvořák, Kráľ, and Thomas announced a proof of another generalization, conjectured in 1969 by L. Havel: there exists a constant d such that, if a planar graph has no two triangles within distance d of each other, then it can be colored with three colors.
В 2009 Дворак, Краль и Томас объявили о доказательстве другого обобщения, о котором высказал в 1969 гипотезу Л. Хавел: существует константа d такая что, если планарный граф имеет два треугольника на расстоянии не более d, то граф может быть раскрашен в три цвета.