查单词
查 询
lemma
lemma
中文：
引理、辅助定理
相关/近似词汇：
引理
佐恩引理
辅助定理
泵作用引理
道
lemma
lemma