Proving Arithmetic Series Sum