4pf (Explicit)

Prove Sum