验证环境前后的间距

Question

我希望所有环境之间的间距都相等。然而，在证明环境之前和之后，产生的空间比正常环境之间的空间大得多。

例如考虑以下例子：

\documentclass[a4paper]{book}

\usepackage{amsthm,thmtools,lipsum}

\declaretheoremstyle{result_style}
\declaretheorem[style=result_style,name=Theorem]{thm}

\begin{document}
    \lipsum[1]

    \begin{thm}
        \lipsum[2]
    \end{thm}

    \begin{thm}
        \lipsum[3]
    \end{thm}

    \begin{proof}
        A very short proof.
    \end{proof}

    \lipsum[4]

    \begin{thm}
        A very small theorem.
    \end{thm}

    \lipsum[5]
\end{document}

有没有简单的方法可以解决这个问题？这种现象的原因是什么？