بحث: اثبات‌کننده