定理类环境

此模板采用了 amsthm 中的定理样式，使用了 4 类定理样式，所包含的环境分别为

• 定理类：theorem，lemma，proposition，corollary；
• 定义类：definition，conjecture，example；
• 备注类：remark，note，case；
• 证明类：proof。

评论： 在选用 lang=cn 时，定理类环境的引导词全部会改为中文。