정리 화일