命题LXXVII 定理XXXVII