Proving Arithmetic Series Formula Examples