Sum "n" Thin for my ho's (Explicit)

prove dat (Explicit)