Proving Arithmetic Series Formula