Proving Arithmetic Series Calculator