ЛЕММА

ж.

Теорема, необходимая только для доказательства другой теоремы (в математике).