なんG民は四色定理証明できるんか?