一个好的数学家是能看到定理之间类比关系的人。一个伟大的数学家是能看到类比关系之间的类比关系的人。
A program that has not been tested does not work.