вспомогательная теорема, необходимая только для доказательства другой теоремы
нормализованная, основная форма слова, вместе с информацией о построении других форм
условно-разделительное умозаключение, являющееся одновременно заключением для предшествующих предпосылок и предпосылкой для последующих заключений
лемм·+а·
ле́мма
Используя определение выпуклого множества и лемму Кантора, можно без особого труда доказать хорошо известные факты о выпуклых множествах, приведённые в леммах 2, 3 и 4.
Россия была загадкой для дяди Флери, а загадок он не любил: труд его о всемирной революции был написан в форме аксиом, лемм, теорем.
Доказательство теоремы о единственности выпуклого многогранника основано на двух замечательных леммах.