命题XXIII 定理XVIII