命题XXXVIII 定理XXX