itemize/enumerate 中的定理与项目符号不一致

Question

我开始使用amsthm和列举一些自定义定理环境的项目符号thmtools。以下是未对齐的示例以及代码。

请注意提供的“证明”环境如何amsthm完美运行（为什么？）。另外，请注意，自定义amsthm“定理”环境最初不对齐，但在应用描述的标准修复后完美对齐这个答案最后，观察自定义的thmtools“反例”环境也没有对齐，即使应用上述修复后也是如此（间距有些不同）。

这是预期的行为吗？如果是，我想知道为什么这些环境和枚举之间会出现这种行为。如果不是，你会建议下一步怎么做？此外，为什么“证明”环境可以完美运行？

\documentclass[12pt]{article}
\usepackage[margin=1in]{geometry}

\usepackage{amsthm, thmtools}

\newtheoremstyle{thmstyle}
{}{}%
{}{}%
{\bfseries}{.}%
{1em}%
{\thmnote{#3}}
\theoremstyle{thmstyle}
\newtheorem*{thm}{}

\declaretheoremstyle[
    headfont=\normalfont\bfseries,
    headpunct={.},
    postheadspace=1em,
    qed=\qedsymbol,
    numbered=no,
]{mystyle}
\declaretheorem[style=mystyle, name=Counterexample]{counterexample}


\newcommand{\modulo}[1]{\ (\mathrm{mod}\ #1)}


\begin{document}

\begin{itemize}
    % uncomment below to fix
    \item % \leavevmode\vspace{-\dimexpr \baselineskip + \topsep}
          \begin{thm}[Theorem]
              Prove or disprove that if $a^2 \equiv b^2 \modulo m$, then
              $a \equiv b$ or $-b \modulo m$.
          \end{thm}

    % the above fix doesn't quite work here
    \item \begin{counterexample}
              some text

              some text
          \end{counterexample}

    \item \begin{proof}
              some text

              some text
          \end{proof}
\end{itemize}

\end{document}