اسأل بوكسنل لكتابة برهان غير مباشرة للعبارة ( إذا كان – 3 x + 4 < 7 فإن x > – 1 ) فإن الافتراض الذي نبدأ به هو:
اسأل بوكسنل اذا تطابقت زاويتان وضلع غير محصور بينهما في مثلث مع نظائرهما في مثلث انتهاء يكون المثلثان متطابقان . ( هذا نص نظرية ………)
منوعات اذا تطابقت زاويتان وضلع غير محصور بينهما في مثلث مع نظائرهما في مثلث انتهاء يكون المثلثان متطابقان
