Вопросы к Поиску с Алисой
Вспомогательные теоремы (леммы) имеют важное значение в математике, потому что помогают в доказательстве других утверждений. math-prosto.ru ru.wikipedia.org
Леммы сами по себе не используются в решениях задач, но служат второстепенным результатом, который делает шаг в направлении доказательства более существенной теоремы. ru.wikipedia.org
Во многих случаях важность леммы определяется теоремой, которую она стремится доказать. ru.wikipedia.org При этом лемма может оказаться более важной, чем предполагалось изначально. ru.wikipedia.org