引理yǐn lǐyinli(math.) lemmaCharacters in this word引to pull, to stretch理science, reason, logicStudy it in Yanamino