proof of sum of arithmetic sequence