命题XCIII 定理XLVII