命题XXV 定理XX