命题LI 定理XVIII