secondo me la logica sarebbe:
prod(3,2)-> sum(3,prod(3,1)) -> sum(3,sum(3,prod(3,0)))

quindi il prod fa 0 -> sum(3,sum(3,0)) -> sum(3,3)

però non so come interpretarla