[finite_depth]

Multiplication/division include addition as a special case, at least if you allow adding 1:

a+b = a + a(b/a) = a(1 + (b/a))