Strictly-speaking, that's corecursion.
Of course. But it's close enough as a reply to "your algorithm for multiplication involves doing multiplication?"
Of course. But it's close enough as a reply to "your algorithm for multiplication involves doing multiplication?"