Proving Arithmetic Series Definition Algebra