اسأل بوكسنل لكتابة برهان غير مباشرة للعبارة ( إذا كان – 3 x + 4 < 7 فإن x > – 1 ) فإن الافتراض الذي نبدأ به هو:
