보조정리,lemma




보조정리
lemma