补助定理的英文翻译
中文:补助定理
英文翻译:lemma