Denote the expression on the left by E; then E is a function of a which vanishes when a=0; hence a is a factor of E; similarly b is a factor of E. Again E vanishes when a=−b, that is a+b is a factor of E; and therefore E contains ab(a+b) as a factor. The remaining factor must be of two dimensions, and, since it is symmetrical with respect to a and b, it must be of the form Aa2+Bab+Ab2; thus (a+b)5−a5−b5=ab(a+b)(Aa2+Bab+Ab2), where A and B are independent of a and b. Putting a=1, b=1, we have 15=2A+B; putting a=2, b=−1, we have 15=5A−2B; Hence A=5, B=5; and thus the required result at once follows.