Proving Arithmetic Series Equation