Теорема о четырех красках: математическая задача и доказательства