引理 yǐn lǐ | KoiSpeak