美德比恶行更令人畏惧,因为它的过度不受良心的约束。
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.
I'm not a place, I'm a dimension.
An athelete may run ten thousand miles in order to prepare for one hundred yards. Quantity gives experience.
Every challenge is an opportunity in disguise.