2차원에서는 4가지색이면 충분하다는건 증명되었잖아

3차원에서는 몇개의 색이 필요한지는 증명됨?