命题XXII 定理XVII