命题LXXXV 定理XXXV