البرهان القاطع قبل الحساب