使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战,对数学可能并不重要。
The best way to escape from a problem is to solve it.
The more you give, the more comes back to you.
释义:有时候轻易相信了别人的话,但最终真相会被明白事理的人指出,公道自在人心。