命题LVII 定理XX