옥형성 선에서 정리