命题XXVI 定理XXI