Proof of the Arithmetic Summation Formula