命题LV 定理XIX