命题XXI 定理XVI