命题XXXVII 定理XXIX