命题XII 定理XII