প্রমাণের একটি পদ্ধতি, যা কেবলমাত্র সীমিত সংখ্যার ক্ষেত্রে প্রযোজ্য, বিপরীত উদাহরণের দিকে পরিচালিত করতে পারে, "ব্রুট ফোর্স" নামে পরিচিত: এই পদ্ধতিতে, সমস্ত সম্ভাব্য ক্ষেত্র বিবেচনা করা হয় এবং দেখানো হয় যে তারা বিপরীত উদাহরণ দেয় না।