命题XXXIII 定理XXVII