結果 : sum arithmetic sequence proof