命题LXXXV 定理XLII