이선에서 정리됨