고루시 선에서 정리 가능하다구