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