反证法:先假设结论的( )是正确的.从假设出发,通过推理得出( )说明假设( ),从而证明原命题结论( ).