정리4