Induction/Alternating sum of squares/Exercise/Solution