Proof of correctness of Approx.