`amsthm` 和正 `\parskip` 的问题

Question

我希望段落之间用空格隔开，而不是缩进。但是，定理结尾和证明开头之间的空格太大了（后面是 MWE）。我有什么办法可以解决这个问题？

\documentclass{article}

\setlength{\parindent}{0pt}
\setlength{\parskip}{\baselineskip}

\usepackage{amsthm}

\newtheorem{theorem}{Theorem}
\newtheorem{definition}{Definition}

\begin{document}

\begin{definition}
  As any dedicated reader can clearly see, the Ideal of practical
  reason is a representation of, as far as I know, the things in
  themselves; as I have shown elsewhere, the phenomena should only be
  used as a canon for our understanding.
\end{definition}

\begin{theorem}
  Let us suppose that the noumena have nothing to do with necessity,
  since knowledge of the Categories is a posteriori.
\end{theorem}
\begin{proof}
  As is shown in the writings of Aristotle, the things in themselves
  (and it remains a mystery why this is the case) are a representation
  of time. Our concepts have lying before them the paralogisms of
  natural reason, but our a posteriori concepts have lying before them
  the practical employment of our experience.
\end{proof}

\end{document}

Answer 1

新版本，将重新定义移至序言。

\documentclass{article}

\setlength{\parindent}{0pt}
\setlength{\parskip}{\baselineskip}

\usepackage{amsthm}

\newtheorem{theorem}{Theorem}
\newtheorem{definition}{Definition}


\let\oldproof\proof
\def\proof{\oldproof\unskip}

\begin{document}


\begin{definition}
  As any dedicated reader can clearly see, the Ideal of practical
  reason is a representation of, as far as I know, the things in
  themselves; as I have shown elsewhere, the phenomena should only be
  used as a canon for our understanding.
\end{definition}

\begin{theorem}
  Let us suppose that the noumena have nothing to do with necessity,
  since knowledge of the Categories is a posteriori.
\end{theorem}
\begin{proof}
  As is shown in the writings of Aristotle, the things in themselves
  (and it remains a mystery why this is the case) are a representation
  of time. Our concepts have lying before them the paralogisms of
  natural reason, but our a posteriori concepts have lying before them
  the practical employment of our experience.
\end{proof}

\end{document}

Answer 2

尝试在序言中添加此内容

\usepackage{etoolbox}
\AtBeginEnvironment{proof}{\vspace{-1.5\baselineskip}}