الدفع بعد البرهان القاطع