RELOADED (Explicit)

Prove Sum (Explicit)