\leavevmode 导致描述列表中的标签覆盖

Question

我在证明环境的开头有一个描述列表，并希望第一个标签与其余标签位于同一列。当我在第一个 \item 之前放置 \leavevmode 时，第一个项目的标签会覆盖第二个项目的标签。

\documentclass{article}
\usepackage{amsmath}
\usepackage{amsthm}

\theoremstyle{definition}

\theoremstyle{remark}

\numberwithin{equation}{section}

\usepackage[colorlinks,hidelinks,draft=false]{hyperref}

\usepackage{cleveref}

% \newtheorem must follow cleveref
\newtheorem{theorem}{Theorem}[section]
\newtheorem{corollary}[theorem]{Corollary}
\def\corollaryautorefname{Corollary}         % Needed for \autoref
\newtheorem{definition}[theorem]{Definition}
\def\definitionautorefname{Definition}       % Needed for \autoref
\newtheorem{example}[theorem]{Example}
\newtheorem{lemma}[theorem]{Lemma}
\def\lemmaautorefname{Lemma}                 % Needed for \autoref

\newtheorem{remark}[theorem]{Remark}
\newtheorem{xca}[theorem]{Exercise}
\usepackage[draft]{showlabels}
\showlabels{cite}
\showlabels{cref}
\showlabels{crefrange}

\begin{document}
\begin{theorem}
foo
\begin{proof}
\begin{description}
\leavevmode
\item[prop1:]
proof of prop1.
\item[prop2:]
proof of prop2
\end{description}
\end{proof}
\end{theorem}
\end{document}

Answer 1

乳胶列表中应该只包含以 \item 开头的项目。\leavevmode 是语法错误，其目的是什么？

如果您想要一个“正常”段落在列表开始之前打洞证明标签，您可以放置\leavevmode​​（或者\mbox{}最好是 LaTeX）前这

\begin{description}

之后则不然。