Чем отличаются лемма и следствие от обычной теоремы?

Лемма, следствие и теорема — разные понятия в математике, которые обозначают утверждения с различным уровнем важности и сложности. math.stackexchange.com

Теорема — важное утверждение, которое доказывается с помощью строгих математических рассуждений. math.stackexchange.com Обычно термин «теорема» используют для обозначения результатов с длинными или трудными доказательствами. ru.wikipedia.org

Лемма — второстепенный результат, который помогает в доказательстве теоремы. math.stackexchange.com Леммы сами по себе не используются в решениях задач. math-prosto.ru Это вспомогательная теорема с малой применимостью. ru.wikipedia.org Иногда то, что считалось леммой, начинает считаться теоремой, хотя слово «лемма» остаётся в названии. ru.wikipedia.org

Следствие — утверждение, которое выводится непосредственно из аксиомы или теоремы. math-prosto.ru Следствие, как и теорему, необходимо доказывать. math-prosto.ru Также следствием может быть теорема, переформулированная для более ограниченного частного случая. ru.wikipedia.org

Таким образом, основное отличие заключается в том, что теорема — это важное утверждение, для которого требуется серьёзное доказательство, лемма — это вспомогательное утверждение, которое используется для доказательства других теорем, а следствие — это более простое утверждение, вытекающее из другой теоремы или определения. ru.wikipedia.org math.stackexchange.com