定理是永恒的;它们的证明是短暂的。
Life is a journey that must be traveled no matter how bad the roads and accommodations.
学习一门新编程语言的唯一方法是用它编写程序。