“د ثبوت يوه طريقه، چې هغه وخت د تطبیق وړ ده کله چې يواځې يو محدود شمېر حالتونه موجود وي کوم چې مخالف مثالونو ته لاره هواروي، د ""بروټ فورس"" پنوم ياديږي: په دې روش کې ټولې ممکنه حالتونه داسې په پام کې نیول کيږي او داسې ښودل کيږي چې مخالف مثالونه نه ورکوي.