命题XI 定理XI