integer sum proof