我需要创建（或定制）一个环境“证明”，该环境可以在“证明”一词后解释定理（或环境）的名称以及与证明相关的定理（或环境）的自动编号。
例如。
定理 5.1 Blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá
评论 lá ...
Lema 5.2 Blá blá blá Blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá
评论 lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá
语言 5.3 Blá blá blá Blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá
评论 lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá lá
定理5.1的证明。 Blá blá blá Blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá blá黑色
答案1
提供amsthm一个proof可以轻松解决您的问题的环境：
\documentclass{article}
\usepackage{amsthm}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\begin{document}
\begin{theorem}\label{maintheorem}
$1+1=2$.
\end{theorem}
We need a lemma.
\begin{lemma}
$2=1+1$.
\end{lemma}
This lemma, allows us to give an easy proof of the theorem.
\begin{proof}[Proof of theorem \ref{maintheorem}]
Use the commutative property.
\end{proof}
\end{document}