정리(93)