Лемма

Лемма, в математике — теорема, служащая для доказательства другой, главной теоремы.