引理

Hors-HSK

yǐn lǐ

(mathématiques)