He who is content is always happy; endless desires never find satisfaction.
数学证明的优雅常常反映了它所描述的算法的效率。
The only thing that makes life possible is permanent, intolerable uncertainty; not knowing what comes next.