命题 XIX 定理XIV