18版-第2讲　直接证明与间接证明（创新设计）