prod(3, 2)
-sum(3, prod(3, 1))
--sum(3, sum(3, prod(3, 0)))
--sum(3, sum(3, 0))
-sum(3, 3)
6

Risolve la moltiplicazione con questa formula:
a * n = a1 + a2 + ... + an
Cioè sommando n volte a...