数学证明的优雅常常反映了它所描述的算法的效率。
The elegance of a mathematical proof often mirrors the efficiency of the algorithm it describes.
程序最重要的属性是它是否实现了用户的意图。
晏子春秋
不用圆规和曲尺，就不能画出方形和圆形。比喻做事要遵循一定的法则。