Suzlek
рус → тат
лемма
существительное
Русско-татарский словарь, 2018
ж.
мат.
лемма,
ярдәмче
теорема
доказательство леммы
— лемманы исбатлау