Prove sum (Explicit)

Prove sum (Explicit)