命题LIX 定理XXII