命题XXXII 定理XXVI