충혹선에서 정리