diff --git a/config/preamble.tex b/config/preamble.tex
index 092df54..f537fec 100644
--- a/config/preamble.tex
+++ b/config/preamble.tex
@@ -2,7 +2,7 @@
 % !TEX program  = xelatex
 
 % 数学符号与环境
-\usepackage{amsmath,amssymb}
+\usepackage{amsmath,amssymb,amsthm}
   \newcommand{\dd}{\mathrm{d}}
   \newcommand{\RR}{\mathbb{R}}
 % 参考文献
diff --git a/sections/examples/details.tex b/sections/examples/details.tex
index 36c43bd..356dd33 100644
--- a/sections/examples/details.tex
+++ b/sections/examples/details.tex
@@ -50,6 +50,10 @@ \subsection{表格}
     \end{threeparttable}
 \end{table}
 
+\begin{proof}
+    This is a proof written in English.
+\end{proof}
+
 \subsection{参考文献}
 
 参考文献一般使用\verbbox{\cite{<key>}}命令，效果如是\cite{Nicholas1998Handbook}，引用作者使用\verbbox{\citeauthor{<key>}}，效果如是“\citeauthor{goossens1994latex}”。
diff --git a/sustechthesis.cls b/sustechthesis.cls
index fdcaf8b..d565019 100644
--- a/sustechthesis.cls
+++ b/sustechthesis.cls
@@ -138,9 +138,21 @@
   \captionsetup[table]{labelsep=enspace} %表序表题之间没有标点,而是一个空格,默认前缀为表
   \captionsetup[figure]{labelsep=enspace} %图序图题之间没有标点,而是一个空格，默认前缀为图
   \ifsustech@chinese
-    \ctexset{figurename = {图}, tablename  = {表},}%
+    \ctexset{
+      figurename = {图},
+      tablename  = {表},
+      listfigurename = {插图},
+      listtablename = {表格},
+      proofname = {证明},
+    }%
   \else
-    \ctexset{figurename = {Figure}, tablename  = {Table},}%
+    \ctexset{
+      figurename = {Figure},
+      tablename  = {Table},
+      listfigurename = {List of Figures},
+      listtablename = {List of Tables},
+      proofname = {Proof},
+    }%
   \fi
   \captionsetup[subfigure]{labelformat=rightBracket, labelsep=enspace}% 子图a,b,c外没有括号