引理

引理  是數學中爲了取得某個更好的結論而作爲步驟的已證明命題 ， 其意義並不在於自身已完成證明 ， 而在於其爲了達成最終目的而作出貢獻 。 一個引理可用於證明多個結論 。 數學中存在很多著名的引理 ， 這些引理可能對很多問題的解決有幫助 。 例如歐幾里得引理 、 烏雷松引理 、 德恩引理 、 法圖引理 、 高斯引理 、 中山引理 、 阿貝爾引理 、 龐加萊引理 、 里斯引理和佐恩引理等 。 引理和定理沒有嚴格的區分 。