Tec be da gang #TBDG (Explicit)

Prove sum (Explicit)