命题LVIII 定理XXI