命题XVII 定理XV