如果生活不有趣，那将是悲剧的。

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 probably not important to mathematics.

只要我看到进步，我不介意输球。

译文：做将帅的切勿骄傲自大，如果骄傲自大，待人接物就会有不周道的地方，有失礼之处，一朝失礼就会众叛亲离，人心愤懑相怨。