命题LII 定理XL