SUM TO PROVE (Explicit)

SUM TO PROVE (Explicit)