标准的LaTeX只提供了表示定理的环境
\begin{theorem} 内容 \end{theorem}
proof assumption definition proposition lemma axiom corollary exercise example remark problem conjecture