Большой энциклопедический словарь
ЛЕММА — вспомогательное предложение, употребляемое при доказательстве одной или нескольких теорем.
лемма
Лемма