命题LXXI 定理XXXI