重定义定理 只需将下列代码放到preamble, 注意beamer中需要放在CJK环境中. 就会实现重定义定理…