命题LIII 定理XLI