text: Поскольку граф планарен, из теоремы о четырёх красках следует, что граф имеет раскраску четырьмя цветами, но поскольку цвета начального треугольника фиксированы, имеется единственная возможность выбора цвета для новой вершины, так что с точностью до перестановки цветов раскраска графа будет единственной.