Вопросы к Поиску с Алисой
Леммы называют математическими помощниками, потому что они помогают в доказательстве других утверждений, а не имеют самостоятельного значения. ru.ruwiki.ru dic.academic.ru
Лемма — это доказанное утверждение, которое используется не само по себе, а для обоснования других теорем. ru.ruwiki.ru kartaslov.ru