18.4 大神定理