Prove summn

Prove summn (Explicit)