Можно ли карту России раскрасить в четыре цвета так, чтобы никакие два соседних региона не были покрашены в один цвет? Оказывается, так можно раскрасить любую карту — это утверждение стало первым компьютерным доказательством в науке. Вы можете проверить это на карте России, подучить немного географию нашей страны, а также побывать в стране Мартина Гарднера.