한하지만, 결국 1936개의 단순한 형태로 줄 리고 이것이 올바르게 단순화되었

는지를 확인하기 위하여 컴퓨터를 사용하였는데, 나중에 알게 된

ne + xe Ho fllo HL ro yo =n 22 JC, 때

그래도 결국 증명해냈다는 게

중요하지요. ： 3 ra ~ 빼 a ~ 우리 수학자들 정말 ae | : 대단하지 않나요? :

한편, 1936가지의 기본 그래프를 4가지 색으로 칠할 수 있

미ㅇ

을 보이는 과정은 손으로 일일이 직접 AS 칠하여 각각의 그래

hig 해 다섯 번째 수업 ; | 3 a