命题XXXVIII 定理XII