证明是一种用于使他人相信数学陈述为真的工具。
Abandon unnecessary desires, and you will find true freedom.
程序员最重要的技能是阅读代码的能力。
I don’t play for the money or the fame, I play for the passion.
我们拥有的东西就是拥有我们的东西。
重要的不是金钱,而是你爱的人。