정리3