命题LXXX 定理XL