直接证明(综合法)