정리가 쉬워졌습니다