Proof For Arithmetic Series Definition