SUM 2 PROVE (Explicit)

SUM 2 PROVE (Explicit)