정리(36)