Natural numbers/Induction/Product of powers/Exercise