Sum of odd numbers/Induction/Exercise/Solution