AG/KB (Explicit)

Prove Sum (Explicit)