Proving Arithmetic Series Practice