proofs with summations