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