证明重新定义不起作用

Question

我的证明重新定义命令在某些情况下不起作用，我看不出其中的规律和原因。这些是 MN(N)EI 可以得到的更简化的结果。它们已在 Overleaf 上重现。

最大能量损失 1:

\documentclass{article}

\usepackage{amssymb,amsmath,amsthm}

\begin{document}
\begin{proof}
I'm a froop
\end{proof}
\end{document}

最小二乘法 1：

\documentclass{article}

\usepackage{amssymb,amsmath,amsthm}

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

\begin{document}
\begin{proof}
I'm a froop
\end{proof}
\end{document}

这似乎表明我的重新定义不起作用。但是，通过在单独的文件中添加前言，一切似乎都正常。

以下是主要文件。

\documentclass{article}
\usepackage{Preamble}

\begin{document}
\begin{proof}
I'm a froop
\end{proof}
\end{document}

MWE 2 (序言)：

\ProvidesPackage{Preamble}

\usepackage{amssymb,amsmath,amsthm}

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

\makeatletter
\makeatother

MNEW 2 (序言)：

\ProvidesPackage{Preamble}

\usepackage{amssymb,amsmath,amsthm}

\makeatletter
\makeatother

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

了解正在发生的事情的意义在于知道我可以在序言的哪里放置我的重新定义，或者不可以放置在哪里。