Proving Arithmetic Series Examples