А вот, скажем, такой вопрос: мы знаем, что любой планарный можно раскрасить четырьмя цветами. А какими свойствами он должен обладать, чтобы хватило трёх? Как доказать, что какой-то данный граф можно раскрасить тремя цветами?