引理是一個小型定理。它本身已被證明是正確的，但其主要目的是幫助證明更宏大的結論。引理是數學論證的框架，它們將複雜的證明分解成易於處理的小部分。

歐幾裡得引理指出，如果一個質數能整除兩個整數的乘積，那麼它至少能整除這兩個整數中的一個。此引理對於證明算術基本定理至關重要。佐恩引理是一個更高級的例子，它用來證明無限維空間中極大理想和極大基的存在性。

有時，引理本身會變得非常著名。高斯引理、法圖引理和烏里松引理都擁有自己的名字，並被收錄在教科書中。引理、命題、定理和推論之間的區別部分是出於文體上的考慮。引理是輔助工具；定理則是主要結果。

• 已證明的陳述，用以證明定理
• 將大型證明分解成多個步驟
• 例如：歐幾裡得引理、佐恩引理
• 有時會獨立成名