命题XVIII 定理XVI