정리(88)