平面上的四色猜想已经有了证明,那么在三维空间的情况是怎样的?