命题LXXXVIII 定理XLV