def mpy(m, n): if n == 0: return 0 return add(m, mpy(m, pred(n))) print(mpy(5, 4))

The function mpy calculates the product of two numbers recursively. 
If the second argument (n) is 0, the result is 0.
Else, the result is m plus the result of mpy(m, pred(n)).