命题XXXIX 定理XXXI