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.

楚国的狂人接舆唱歌路过孔子车旁，说：“凤啊！凤啊！你怎么这样倒霉？过去的不可挽回，未来的还可以赶上。算了！算了！现在的执政者很危险！”

Dream starts, perseverance leads to victory.

Friends are better than money. Almost anything money can do， friends can do better. In so many ways a friend with a boat is better than owning a boat.

Every loaf tells a story, from the flour to the final slice.

做大事和做小事的难易程度是一样的。所以要选择一个值得追求的宏伟目标，让回报与你的努力相匹配。