用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
I don't need to be loud to be heard.
I'm not a person who likes to be standard.
A dreamer is one who can only find his way by moonlight, and his punishment is that he sees the dawn before the rest of the world.