命题XIV 定理XIV