정리 (1)