Proving Arithmetic Series Word