4．蜂巢猜想是根据三维空间的最少相邻点数23获证的