Proving Arithmetic Series Definition