结果的直接后果已经被证明。推论通常陈述得更复杂定理使用更简单的语言申请。
更多需要尝试的事情：
埃里克·魏斯坦（Eric W.Weisstein）。“推论。”摘自数学世界--Wolfram Web资源。https://mathworld.wolfram.com/Corollary.html
