引理

yǐn
(math.) lemma

CEDICT

Entry Composition