Add product

induction