第六节 直接证明和间接证明