Правда ли, что карту мира можно раскрасить всего 4-мя цветами так, что все граничащие страны будут разных цветов?