prove a sum