Solution to four-color problem