命题XLIX 定理XVII