命题XLVIII 定理XVI