4색 정리: 기계가 수학자들을 제압한 최초의 사건