辨析Corollary、Theorem和lemma

在数学和逻辑推理中，“Corollary”（推论）、“Theorem”（定理）和"Lemma"（引理）都是用来描述不同类型的数学命题或结论的术语。

1. Theorem（定理）：

   • 定理是一个重要的数学命题或结论，其证明是通过严格的逻辑推理和数学推导得到的。
   • 定理通常是对某个问题或命题的重要陈述，是数学推理的基础和核心内容。

2. Lemma（引理）：

   • 引理是定理的辅助命题，通常是用来帮助证明更大的定理或结果。
   • 引理一般比较简单，可能需要较少的证明步骤，但是它们的存在和正确性对于证明主要定理是必不可少的。

3. Corollary（推论）：

   • 推论是从已证明的定理或引理直接得出的结论。
   • 推论通常是定理的直接应用或延伸，其证明依赖于已有的数学结论。

定理Theorem是主要的数学命题，引理Lemma是用来支持定理的辅助命题，而推论Corollary则是从已有的定理或引理中直接得出的结论。这些术语在数学文献中经常出现，有助于清晰地组织和阐述数学推理和结论。

总结一下三者的关系
1.定理Theorem：是严格证明过的
2.引理Lemma：是辅助证明定理的，多个Lemma帮助证明一个Theorem
3.推论Corollary：是通过Theorem或Lemma得出的结论，一般是紧接着Theorem，由Theorem可以快速得到。