Лемма
В математике: вспомогательная теорема, необходимая для доказательства другой теоремы
вспомогательная теорема
красное вино