命题XXXI 定理XXV