命题LXXXVII 定理XLIV