The use of a program to prove the 4-color theorem will not change mathematics - it merely demonstrates that the theorem, a challenge for a century, is a finite problem.

In business, you're either growing or you're dying.

Every life is an archive.

设定新目标或梦想新梦想永远不会太晚。