정리(4)