Proof of the formula