proof outline possible write formula alternative way group sum squares quote example assume representation number five summed times number summed times zero possible use result solve summation main formula equivalent agebraic manipulation possible obtain equivalent desired formula