命题LXXXVI 定理XLIII