反证法是 ______证明方法,它是从命题的结论 ______出发,经过 ______得出 ______,从而证明命题成