Rigor in proof is what separates mathematics from all other sciences.
证明的严谨性将数学与所有其他科学区分开来。
The true meaning of life is to plant trees under whose shade you do not expect to sit.
我们都在同一条船上，这就是我们要传达的信息。