یک میتود ثبوت، زمانی قابل کاربرد است که فقط یک تعداد محدود قضایا که منتج به مثال های مخالف میگردد موجود باشد، بنام "قوه خشن" یاد میشود:‌ در این شیوه، تمام قضایای ممکن در نظر گرفته شده و نشان داده شده اند که مثال هال مخالف نمیدهد.