순자선에서 정리될듯