2.2.2直接证明与间接证明-反证法(上课)