Arithmetic Sequence Sum Proof