过去是一面镜子,我们在其中看到自己的倒影。
The elegance of a mathematical proof often mirrors the efficiency of the algorithm it describes.