命题XV 定理XII