Порівняння з теоремою Між лемою та теоремою немає формальної відмінності, тільки відмінність за наміром. Однак лему можна вважати другорядним результатом, єдиною метою якого є допомога у доказі більш істотної теореми — крок у напрямку доказу.
склад теореми: умова та висновок або слідство. Серед теорем виділяють такі, які власними силами не застосовують у рішеннях завдань. Але їх використовують для доказу інших теорем. Лемма – Це допоміжна теорема, за допомогою якої доводяться інші теореми.
Θεώρημα, від ін.-грец. Θεώρηώ — міркую математичне твердження, істинність якого встановлена шляхом доказу. Докази теорем спираються раніше доведені теореми та загальновизнані твердження (аксіоми).
Математичне речення, правильність якого доводиться, називають теоремою. Математична пропозиція, що приймається без доказу, називають аксіомою.