命题XLVII 定理XXXVII