Proof of deduction of excess