corollary

总结：

“Corollary” 是一个常用于数学和逻辑学中的术语，表示由定理直接推导出的结论。它通常不需要额外证明，因其依赖于已有定理的正确性。Corollary 有助于简化论证，提高表达效率。

Corollary 在学术写作中常见，帮助读者快速理解推论关系。它与定理（Theorem）和引理（Lemma）不同，更强调从已有结论中自然得出的结果。