정리(5)