命题XXII 定理XVIII