prove sum

Yuno333