proof of sum of arithmetic series