引理是一个小型定理。它本身已被证明是正确的，但其主要目的是帮助证明更宏大的结论。引理是数学论证的框架，它们将复杂的证明分解成易于处理的小部分。

欧几里得引理指出，如果一个素数能整除两个整数的乘积，那么它至少能整除这两个整数中的一个。该引理对于证明算术基本定理至关重要。佐恩引理是一个更高级的例子，它被用来证明无限维空间中极大理想和极大基的存在性。

有时，引理本身会变得非常著名。高斯引理、法图引理和乌里松引理都拥有自己的名字，并被收录在教科书中。引理、命题、定理和推论之间的区别部分是出于文体上的考虑。引理是辅助工具；定理则是主要结果。

• 已证明的陈述，用于证明定理
• 将大型证明分解成多个步骤
• 例如：欧几里得引理、佐恩引理
• 有时会独立成名