Proving Arithmetic Series Formula Sum