كتسمى وحدة من طرق الإثبات، اللي يمكن يتطبق غير في حالة ما كان عدد مسالي من الحالات اللي يمكن تعطي أمثلة معاكسة، اسم "القوة الغاشمة": فين كيتشافو فكاع الحالات المحتملة وتبان انها معطاتش أمثلة معاكسة فهاد النهج.