辅助定理

lemma