命题XIII 定理X