정리 검토