枚举环境对齐不正确（全部向左刷新）

Question

我已生成一个最小工作示例来说明我遇到的问题。我只是在article文档类型中编写代码，出于某种原因，enumerate环境向左刷新。我希望它相对于周围的文本正常缩进。

下面是有问题的代码和它的样子。

---

\documentclass{article}
\usepackage{amsmath}
\usepackage{geometry}
\geometry{legalpaper, portrait, margin=1in}
\usepackage{amssymb}


\begin{document}
\section{Fermat's Little Theorem using Group Theory}

Fermat's Little Theorem (1637): For any integer $n$ and prime $p>n$, $n^p\equiv n\,(\mod p)$.

\vspace{2mm}

Two preliminary theorems:

\begin{enumerate}
\item[1. Bezout's Identity:] Let $a,b\in\mathbb{Z}$ (but not both zero) and $d=\gcd (a,b)$. There always exists at least one pair of integers $(x,y)$ such that:

$$ax+by=d$$


\item[2. Lagrange's Theorem]: For any finite group $G$ and subgroup $H$, the order of $H$ divides $G$, i.e. $[G]=k[H]$ for some $k\in \mathbb{Z}_+$.
\end{enumerate}
\end{document}

---

Answer 1

这是由于使用了非常长的项目标签。您最终应该使用描述环境，就像它被（很好地）描述的那样在这篇文章中。

Answer 2

您滥用了enumerate冒号（但后者是一种文体评论）。

您想要的是description, 。

我还做了一些 TeX 修正：

1. 没有必要\vspace{2mm}；
2. 显示的公式之前不能有空行；
3. $$永远不应该在 LaTeX 中使用。

数学修正：

1. 限制A和b不都为零是多余的；
2. 限制页>n同样是多余的。

固定代码。

\documentclass{article}
\usepackage{amsmath}
\usepackage{geometry}
\usepackage{amssymb}

\geometry{legalpaper, portrait, margin=1in}

\begin{document}
\section{Fermat's Little Theorem using Group Theory}

\textbf{Fermat's Little Theorem (1637).} For any integer $n$ and 
prime $p$, $n^p\equiv n\pmod{p}$.

Two preliminary theorems.

\begin{description}
\item[1. Bezout's Identity.] Let $a,b\in\mathbb{Z}$ and $d=\gcd (a,b)$. 
There exists at least one pair of integers $(x,y)$ such that 
\[
ax+by=d
\]

\item[2. Lagrange's Theorem.] For any finite group $G$ and subgroup $H$,
the order of $H$ divides $G$, i.e. $[G]=k[H]$ for some $k\in \mathbb{Z}_+$.
\end{description}

\end{document}