命题XXVII 定理XXII