sum 2 prove (Explicit)

sum 2 prove (Explicit)