Леммой в математике называют дополнительную, вспомогательную теорему. Она не имеет значимого результата сама по себе, а используется лишь как шаг на пути доказательства основной теоремы.
Известно множество лемм, носящих имена тех математиков, которые их доказали, например Евклида, Гаусса, Пуанкаре, Безу. Хотя в свое время эти ученые сочли полученные результаты слишком простыми и не представляющими самостоятельного интереса.
Математики утверждают, что хорошая лемма «стоит тысячи теорем» и имеет ряд признаков. Она применима к широкому ряду проблем и случаев, даже не связанных между собой, а ее логика выглядит предельно очевидной. Наконец, на эстетическом уровне лемма, включая ее доказательство, должна быть красива.
Правильный ответ: лемма