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