정리(26)