"Theorem" 本身是一个大 result
"Lemma" 是 prove “Theorem“ 之前用的一个 result
"Corollary" 是可以从 "Theorem" 里直接 deduce/prove 出来的 result
" Proposition" 是一个还无法大到变成 "Theorem" 的一个 result (当作小 theorem )
来源于网络