文章中最重要的几个结论用 Prop 或 Thm. 其中有比较普遍意义的（可能被他人引用的）用Thm，比较特定、适用范围不大的用Prop。 用来推出这些 Thm 或 Prop 的引理用 Lemma. Theorem：定理。是文章中重要的数学化的论述，一般有严格的数学证明。 Proposition：可以翻译为命题，经过证明且interesting，但没有Theorem重要，比较常用。