정리 (5)