Induction/Alternating sum of squares/Exercise