直接证明与间接证明2(理).doc