命题LX 定理XXIII