Proving Arithmetic Series Definition Math