如何在定理环境中左右两边留出一些余地？

Question

这是我想要的一种样式：证明环境，左右两侧都有一些空白。最后一行还有一个 qed 方块。

IE

 Theorem 1: xxxxxxxxxxxxxxxxxxx.

       proof: xxxxxx,xxxxx,

       xxxxx,xxxxxxxx,xxxx,

       xxxxxxxxx.        □

这就是证明环境左右两边都有余量。

我不知道该怎么做。我试过 newtcbtheorem，但它的“证明”后面总是有一个“1”，需要 \begin{proof*} 才能将其忽略，我认为这很麻烦。

我只想在我的文档中使用 \begin{proof}，并在 cls 文件中定义所有内容。

Answer 1

该amsthm包将proof环境定义为

\newenvironment{proof}[1][\proofname]{\par
  \pushQED{\qed}%
  \normalfont \topsep6\p@\@plus6\p@\relax
  \trivlist
  \item[\hskip\labelsep
        \itshape
    #1\@addpunct{.}]\ignorespaces
}{%
  \popQED\endtrivlist\@endpefalse
}

因此，我使用从环境中获取的参数将其修补为\list（而不是） ：\trivlistquotation

\documentclass{article}

\usepackage{lipsum} % for dummy text
\usepackage{amsthm}

\newtheorem{theorem}{Theorem}

\makeatletter
\renewenvironment{proof}[1][\proofname]{\par
  \pushQED{\qed}%
  \normalfont \topsep6\p@\@plus6\p@\relax
  \list{}{\listparindent 1.5em
          \itemindent    \z@
          \labelwidth    \z@
          \rightmargin   \leftmargin
          \parsep        \z@ \@plus\p@}%
  \item[\hskip\labelsep\itshape#1\@addpunct{.}]\ignorespaces
}{%
  \popQED\endlist\@endpefalse
}
\makeatother

\begin{document}

\begin{theorem}
\lipsum*[66]
\end{theorem}

\begin{proof}
\lipsum[66]\lipsum*[75]
\end{proof}

\end{document}