23 - 直接证明—综合法与分析法