حل تماربن برهان خلف و بازگشت بازگشت پذیر