Лема

теорема, яка використовується як засіб доведення складніших теорем З Вікіпедії, вільної енциклопедії